<?php

function x()
{
    [$a, $b, , , , ] = $value;
}
